Search | Engineering

订阅投稿

首页工程期刊工程焦点工程成就工程前沿关于我们 English

资源类型

期刊论文 71

年份

2023 3

2022 7

2021 7

2020 3

2019 3

2018 2

2017 5

2016 8

2015 8

2014 2

2013 6

2012 1

2011 1

2010 2

2009 3

2007 3

2005 1

2004 1

2002 1

2001 3

展开︾

关键词

三峡工程 2

增材制造 2

电子束 2

ACMR 1

CAD 装配模型 1

CO₂ 捕集 1

COVID-19 1

EMD距离 1

HY-2 1

HY-2A 1

MixMax模型 1

三峡 1

二肽基肽酶4 1

云设计和云制造 1

人机识别；随机森林；支持向量机；逻辑回归；多维性能评价指标 1

优化设计 1

体系；云模型；描述逻辑；需求验证 1

信息安全 1

假说—演绎方法 1

展开︾

检索范围：

排序：展示方式：

Test-driven verification/validation of model transformations

László LENGYEL,Hassan CHARAF

《信息与电子工程前沿（英文）》 2015年第16卷第2期页码 85-97 doi: 10.1631/FITEE.1400111

摘要： Why is it important to verify/validate model transformations? The motivation is to improve the quality of the transformations, and therefore the quality of the generated software artifacts. Verified/validated model transformations make it possible to ensure certain properties of the generated software artifacts. In this way, verification/validation methods can guarantee different requirements stated by the actual domain against the generated/modified/optimized software products. For example, a verified/validated model transformation can ensure the preservation of certain properties during the model-to-model transformation. This paper emphasizes the necessity of methods that make model transformation verified/validated, discusses the different scenarios of model transformation verification and validation, and introduces the principles of a novel test-driven method for verifying/validating model transformations. We provide a solution that makes it possible to automatically generate test input models for model transformations. Furthermore, we collect and discuss the actual open issues in the field of verification/validation of model transformations.

关键词： Graph rewriting based model transformations Verification/validation Test-driven verification

HTML PDF 收藏

Semantic Consistency and Correctness Verification of Digital Traffic Rules

Lei Wan,Changjun Wang,Daxin Luo,Hang Liu,Sha Ma,Weichao Hu,

《工程（英文）》 doi: 10.1016/j.eng.2023.04.016

摘要： The consensus of the automotive industry and traffic management authorities is that autonomous vehicles must follow the same traffic laws as human drivers. Using formal or digital methods, natural language traffic rules can be translated into machine language and used by autonomous vehicles. In this paper, a translation flow is designed. Beyond the translation, a deeper examination is required, because the semantics of natural languages are rich and complex, and frequently contain hidden assumptions. The issue of how to ensure that digital rules are accurate and consistent with the original intent of the traffic rules they represent is both significant and unresolved. In response, we propose a method of formal verification that combines equivalence verification with model checking. Reasonable and reassuring digital traffic rules can be obtained by utilizing the proposed traffic rule digitization flow and verification method. In addition, we offer a number of simulation applications that employ digital traffic rules to assess vehicle violations. The experimental findings indicate that our digital rules utilizing metric temporal logic (MTL) can be easily incorporated into simulation platforms and autonomous driving systems (ADS).

关键词： Autonomous driving Traffic rules Digitization Formalization Verification

HTML PDF 收藏

Model validation for structural dynamics in the aero-engine design process

Chaoping ZANG, D. J. EWINS,

《能源前沿（英文）》 2009年第3卷第4期页码 480-488 doi: 10.1007/s11708-009-0043-8

摘要： A model validation technique in structural dynamics and its application in aero-engine development is introduced. The concept and the approaches of model validation based on reference data supplied from experimental tests or from supermodel simulation are discussed in detail. An aero-engine component is used as an example to demonstrate the validation using the experimental test and supermodel information, respectively. A satisfactory agreement with both approaches is achieved, and finally, a strategy of model validation for the whole engine model is introduced.

关键词： model validation aero-engine structural dynamics

HTML PDF 收藏

Stiffness analysis and experimental validation of robotic systems

Giuseppe CARBONE

《机械工程前沿（英文）》 2011年第6卷第2期页码 182-196 doi: 10.1007/s11465-011-0221-3

摘要：

Stiffness can be considered of primary importance in order to guarantee the successful use of any robotic system for a given task. Therefore, this paper proposes procedures for carrying out both numerical and experimental estimations of stiffness performance for multibody robotic systems. The proposed numerical procedure is based on models with lumped parameters for deriving the Cartesian stiffness matrix. Stiffness performance indices are also proposed for comparing stiffness performance. Then, an experimental procedure for the evaluation stiffness performance is proposed as based on a new measuring system named as Milli-CATRASYS (Milli Cassino Tracking System) and on a trilateration technique. Cases of study are reported to show the soundness and engineering feasibility of both the proposed numerical formulation for stiffness analysis and experimental validation of stiffness performance.

关键词： robotics stiffness performance numerical and experimental estimations

HTML PDF 收藏

Availability growth models and verification of power equipment

Jinyuan SHI, Jiamin XU

《能源前沿（英文）》 2021年第15卷第2期页码 529-538 doi: 10.1007/s11708-019-0624-0

摘要： The general availability growth models for large scale complicated repairable system such as electric generating units, power station auxiliaries, and transmission and distribution installations are presented. The calculation formulas for the maintenance coefficient, mathematical expressions for general availability growth models, ways for estimating, and fitting on checking the parameters of the model are introduced. Availability growth models for electric generating units, power station auxiliaries, and transmission and distribution installations are given together with verification examples for availability growth models of 320–1000 MW nuclear power units and 1000 MW thermal power units, 200–1000 MW power station auxiliaries, and 220–500 kV transmission and distribution installations. The verification results for operation availability data show that the maintenance coefficients for electric generating units, power station auxiliaries, transmission and distribution installations conform to the power function, and general availability growth models conform to rules of availability growth tendency of power equipment.

关键词： repairable system power equipment electric generating unit power station auxiliary transmission and distribution installation reliability availability availability growth model

HTML PDF 收藏

Innate immune checkpoint Siglec10 in cancers: mining of comprehensive omics data and validation in patient

《医学前沿（英文）》 2022年第16卷第4期页码 596-609 doi: 10.1007/s11684-021-0868-z

摘要： Sialic acid binding Ig-like lectin 10 (Siglec10) is a member of innate immune checkpoints that inhibits the activation of immune cells through the interaction with its ligand CD24 on tumor cells. Here, by analyzing public databases containing 64 517 patients of 33 cancer types, we found that the expression of Siglec10 was altered in 18 types of cancers and was associated with the clinical outcomes of 11 cancer types. In particular, Siglec10 was upregulated in patients with kidney renal clear cell carcinoma (KIRC) and was inversely associated with the prognosis of the patients. In 131 KIRC patients of our settings, Siglec10 was elevated in the tumor tissues of 83 (63.4%) patients compared with that in their counterpart normal kidney tissues. Moreover, higher level of Siglec10 was associated with advanced disease (stages III and IV) and worse prognosis. Silencing of CD24 in KIRC cells significantly increased the number of Siglec10-expressing macrophages phagocytosing KIRC cells. In addition, luciferase activity assays suggested that Siglec10 was a potential target of the transcription factors c-FOS and GATA1, which were identified by data mining. These results demonstrate that Siglec10 may have important oncogenic functions in KIRC, and represents a novel target for the development of immunotherapies.

关键词： innate immune checkpoint Siglec10 kidney renal clear cell carcinoma

HTML PDF 收藏

Modelling and experimental verification on concrete-filled steel tubular columns with L or T section

LU Xilin, LI Xueping, WANG Dan

《结构与土木工程前沿（英文）》 2007年第1卷第2期页码 163-169 doi: 10.1007/s11709-007-0017-z

摘要： Concrete-filled steel tubular columns with L or T sections were analyzed in this paper. According to the confining mechanism, the stress-strain constitutive model was put forward, and calculated results were compared with experimental records. After that, the hysteretic rules for the in-filled concrete were constructed, aiming at the analysis on the seismic behavior of composite members. The simulation analysis was performed by programming it in Fortran. The models in this paper can be applied in the program of time history analysis on tall buildings with concrete-filled steel tubular columns with L or T sections.

关键词： hysteretic confining mechanism Concrete-filled in-filled composite

HTML PDF 收藏

Establishment and verification of a shrinking core model for dilute acid hydrolysis of lignocellulose

Cunwen WANG, Xiaoling DUAN, Weiguo WANG, Zihao LI, Yuanhang QIN

《能源前沿（英文）》 2012年第6卷第4期页码 413-419 doi: 10.1007/s11708-012-0212-z

摘要： The kinetics of lignocellulose hydrolysis under the conditions of high temperature and dilute acid (mass fraction 0.05%) was investigated in this paper. By studying the reducing sugar concentration versus reaction temperature (170°C–220°C) and reaction time (150–1800 s) during the hydrolysis process of five kinds of crop straw (rice, wheat, cotton, rape and corn), the shrinking core model was established, and the differential equation of the model and its analytical solution were obtained. With a numerical calculation method, the kinetic equation was estimated, and the degradation of reducing sugar obeyed first-order kinetics was obtained. The calculated results from the equations agreed well with the original experimental data. The calculation by the model showed that the reducing sugar concentration increases as the size of the particles decrease, and the uniform particles increase.

关键词： lignocellulose dilute acid hydrolysis shrinking core model

HTML PDF 收藏

Model validation and application

Rongrong ZHANG,Chesheng ZHAN,Xiaomeng SONG,Baolin LIU

《环境科学与工程前沿（英文）》 2015年第9卷第6期页码 1025-1035 doi: 10.1007/s11783-014-0655-z

摘要： Part I of this study develops an enhanced environmental multimedia modeling system (EMMS) based on fuzzy-set approach. Once the model development is complete, the composite module and the entire modeling system need to be tested and validated to ensure that the model can simulate natural phenomena with reasonable and reliable accuracy. The developed EMMS is first tested in a complete case study. And then verification results are conducted to compare with extensively researched literature data. In the third step, the data from an experimental landfill site is used for a pilot-scale validation. The comparisons between EMMS outputs and the literature data indicate that the EMMS can perform accurate modeling simulation. The modules of EMMS could support the entire environmental multimedia modeling system. Further field-scale validation is finished. The results are satisfactory. Most of the modeling yields closely match the monitoring data collected from sites. In addition, with the aid of fuzzy-set approach, EMMS can be a reliable and powerful tool to address the complex environmental multimedia pollution problems and provide an extensive support for decision makers in managing the contaminated environmental systems.

关键词： environmental multimedia modelling system fuzzy-set approach application model validation uncertainty analysis

HTML PDF 收藏

Numerical simulation and experimental verification of chemical reactions for SCR DeNO

Qiang ZHANG, Yonglin FAN, Wenyan LI

《化学科学与工程前沿（英文）》 2010年第4卷第4期页码 523-528 doi: 10.1007/s11705-010-0520-y

摘要： Selective catalytic reduction (SCR) is a major commercial technology for NO removal in power plants. There are a lot of complex chemical reactions in SCR reactors, and it is of great significance to understand the internal process of chemical reactions for SCR DeNO and study the impact of various factors on NO removal efficiency. In this paper, the impact of reaction temperature, ammonia-nitrogen molar ratio and resident time in the catalyst bed layer on NO removal efficiency were studied by simulation of chemical reactions. Then calculated results were compared with catalyst activity test data in a power plant, which proved that the simulated results were accurate. As a result, the reaction conditions were optimized in order to get the best removal efficiency of NO, so that we can provide a reference for optimal running of SCR in power plants.

关键词： SCR NO_x removal efficiency chemical reactions simulation

HTML PDF 收藏

Water pumping analysis and experimental validation of beach well infiltration intake system in a seawater

Huan ZHANG,Shu LIU,Xuejing ZHENG,Gaofeng CHEN

《能源前沿（英文）》 2015年第9卷第3期页码 335-342 doi: 10.1007/s11708-015-0365-7

摘要： Based on energy conservation equation and Darcy’s law, a model of beach well infiltration intake system applied in a seawater source heat pump system was established. The model consists of the seawater seepage and the heat transfer process. A porous medium model in a software named FLUENT was applied to simulate the seepage and the heat transfer process. This model was also validated by field experiment conducted on the seashore in Tianjin, China. The maximum relative error between simulation results and experimental results was 2.1% (less than 5%), which was acceptable in engineering application. The porosity and coefficient of thermal conductivity of the aquifer soil were determined to be 0.49 W/(m·K) and 1.46 W/(m·K), respectively in the simulation. In addition, the influencing factors of pumping water of beach well were also analyzed. The pumping water was found to increase when the distance between the beach well and the impervious boundary becomes longer, when the distance between the beach well and the supplying water source shortens, when the diameter of the beach well enlarges, and the drawdown enlarges.

关键词： water pumping analysis experimental validation infiltration intake system seawater source heat pump

HTML PDF 收藏

Reliability prediction and its validation for nuclear power units in service

Jinyuan SHI,Yong WANG

《能源前沿（英文）》 2016年第10卷第4期页码 479-488 doi: 10.1007/s11708-016-0425-7

摘要： In this paper a novel method for reliability prediction and validation of nuclear power units in service is proposed. The equivalent availability factor is used to measure the reliability, and the equivalent availability factor deducting planed outage hours from period hours and maintenance factor are used for the measurement of inherent reliability. By statistical analysis of historical reliability data, the statistical maintenance factor and the undetermined parameter in its numerical model can be determined. The numerical model based on the maintenance factor predicts the equivalent availability factor deducting planed outage hours from period hours, and the planed outage factor can be obtained by using the planned maintenance days. Using these factors, the equivalent availability factor of nuclear power units in the following 3 years can be obtained. Besides, the equivalent availability factor can be predicted by using the historical statistics of planed outage factor and the predicted equivalent availability factor deducting planed outage hours from period hours. The accuracy of the reliability prediction can be evaluated according to the comparison between the predicted and statistical equivalent availability factors. Furthermore, the reliability prediction method is validated using the nuclear power units in North American Electric Reliability Council (NERC) and China. It is found that the relative errors of the predicted equivalent availability factors for nuclear power units of NERC and China are in the range of –2.16% to 5.23% and –2.15% to 3.71%, respectively. The method proposed can effectively predict the reliability index in the following 3 years, thus providing effective reliability management and maintenance optimization methods for nuclear power units.

关键词： nuclear power units in service reliability reliability prediction equivalent availability factors

HTML PDF 收藏

Design method and verification of a hybrid prosthetic mechanism with energy-damper clutchable device

《机械工程前沿（英文）》 2021年第16卷第4期页码 747-764 doi: 10.1007/s11465-021-0644-4

摘要： Transfemoral amputees (TAs) have difficulty in mobility during walking, such as restricted movement of lower extremity and body instability, yet few transfemoral prostheses have explored human-like multiple motion characteristics by simple structures to fit the kinesiology, biomechanics, and stability of human lower extremity. In this work, the configurations of transfemoral prosthetic mechanism are synthesized in terms of human lower-extremity kinesiology. A hybrid transfemoral prosthetic (HTP) mechanism with multigait functions is proposed to recover the gait functions of TAs. The kinematic and mechanical performances of the designed parallel mechanism are analyzed to verify their feasibility in transfemoral prosthetic mechanism. Inspired by motion–energy coupling relationship of the knee, a wearable energy-damper clutched device that can provide energy in knee stance flexion to facilitate the leg off from the ground and can impede the leg’s swing velocity for the next stance phase is proposed. Its co-operation with the springs in the prismatic pairs enables the prosthetic mechanism to have the energy recycling ability under the gait rhythm of the knee joint. Results demonstrate that the designed HTP mechanism can replace the motion functions of the knee and ankle to realize its multimode gait and effectively decrease the peak power of actuators from 94.74 to 137.05 W while maintaining a good mechanical adaptive stability.

关键词： hybrid transfemoral prosthetic mechanism energy recycling wearable mechanical clutched device mechanical adaptive stability

HTML PDF 收藏

Expert networks as science-policy interlocutors in the implementation of a monitoring reporting and verification

Remi CHANDRAN, Tsuyoshi FUJITA, Minoru FUJII, Shuichi ASHINA, Kei GOMI, Rizaldi BOER, Muhammad ARDIANSYAH, Seiya MAKI

《能源前沿（英文）》 2018年第12卷第3期页码 376-388 doi: 10.1007/s11708-018-0559-x

摘要：

The Paris Agreement, which entered into effect in 2016, emphasizes a definite timeline for communicating and maintaining successive nationally determined contributions (NDCs) that it plans to achieve in addressing climate change. This calls for the development of a measurement, reporting and verification (MRV) system and a Capacity-building Initiative for Transparency (CBIT). Though such actions are universally accepted by the Parties to the Paris Agreement, earlier studies have shown that there remain technological, social, political and financial constrains which will affect the development and deployment of such a system. In this paper, using a case study on MRV implementation in Bogor City in Indonesia, how the above-mentioned challenges can be overcome is outlined through a technological and policy innovation process where scientists and technologists (collectively referred as expert networks) can join hands with local governments and national policy makers in designing, development and implementation of an MRV system that meets the local, national and global requirements. Through the case study it is further observed that expert networks can act as interactive knowledge generators and policy interlocutors in bridging technology with policy. To be specific, first, a brief history of the international context of MRV and CBIT is outlined. Next, the theoretical underpinning of the study is contextualized within the existing theories related to public policy and international relations. Finally, the case study is outlined and investigated where the engagement of an expert-network and policy makers in the design, development and implementation of an MRV tool is showcased.

关键词： MRV CBIT UNFCCC Indonesia Japan ICT based monitoring climate policy

HTML PDF 收藏

基于随机森林模型的滑动轨迹人机识别 Research Articles

Zhen-yi XU, Yu KANG, Yang CAO, Yu-xiao YANG

《信息与电子工程前沿（英文）》 2019年第20卷第7期页码 925-929 doi: 10.1631/FITEE.1700442

摘要：识别码在维护网络安全的人机身份验证中得到广泛应用。人机身份验证面临的挑战包括对人与机器滑动轨迹的正确检测。提出一种基于滑动轨迹数据集的人机识别随机森林模型。通过多维性能评价指标，包括识别准确率、识别召回率、识别误报率、识别漏报率、F值和加权准确率，验证该随机森林模型以及基准模型（逻辑回归模型和支持向量机）。随机森林模型多维性能评价指标优于基准模型。

关键词：人机识别；随机森林；支持向量机；逻辑回归；多维性能评价指标

HTML PDF 收藏

标题作者时间类型操作

Test-driven verification/validation of model transformations

László LENGYEL,Hassan CHARAF

期刊论文

Semantic Consistency and Correctness Verification of Digital Traffic Rules

Lei Wan,Changjun Wang,Daxin Luo,Hang Liu,Sha Ma,Weichao Hu,

期刊论文

Model validation for structural dynamics in the aero-engine design process

Chaoping ZANG, D. J. EWINS,

期刊论文